CAVE

Run with best incumbent examples/spear_qcp_small/example_output_1 Cutoff 5
# Train instances 10 Walltime budget 50
# Test instances 10 Runcount budget inf
# Parameters 26 CPU budget inf
Deterministic False
Default Incumbent
-------------- Changed parameters: -------------- ----- -----
sp-clause-activity-inc 1 1.03619
sp-clause-decay 1.4 1.80047
sp-clause-del-heur 2 0
sp-first-restart 100 503
sp-learned-clause-sort-heur 0 5
sp-learned-clauses-inc 1.3 1.44637
sp-learned-size-factor 0.4 0.212442
sp-orig-clause-sort-heur 0 2
sp-phase-dec-heur 5 4
sp-rand-var-dec-freq 0.001 0.005
sp-resolution 1 0
sp-restart-inc 1.5 1.44486
sp-use-pure-literal-rule 1 0
sp-var-activity-inc 1 1.38284
sp-var-dec-heur 0 8
sp-variable-decay 1.4 1.39724
sp-max-res-lit-inc 1 inactive
sp-max-res-runs 4 inactive
sp-rand-phase-dec-freq 0.001 0.0001
sp-rand-var-dec-scaling 1 0.370268
sp-res-cutoff-cls 8 inactive
sp-res-cutoff-lits 400 inactive
sp-res-order-heur 0 inactive
sp-rand-phase-scaling 1 1.04195
-------------- Unchanged parameters: -------------- ----- -----
sp-update-dec-queue 1 1
Default Incumbent
Train Test Train Test
PAR10 5.358 0.434 0.016 0.012
PAR1 0.858 0.434 0.016 0.012
Timeouts 1/10 0/10 0/10 0/10
Plot
Plot
Plot
Plot
Plot
Plot
-------------------- Single importance: -------------------- --------------------
sp-orig-clause-sort-heur 0.537135
sp-var-dec-heur 0.0828047
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Plot
Error
Pre_featuretime 2.762368
gsat_BestAvgImprovement_Mean 2.761600
Plot
Plot